supermum (sup)

最小上界